A SAT-based algorithm for reparameterization in symbolic simulation

机译：一种基于saT的符号模拟重新参数化算法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Pankaj Chauhan; Daniel Kroening; Edmund Clarke;
展开▼
作者单位

展开▼
年度 2004
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. SAT-based unbounded symbolic model checking [J] . Hyeong-Ju Kang, In-Cheol Park IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2005,第2期

机译：基于SAT的无界符号模型检查
2. Reparameterization Gradients through Acceptance-Rejection Sampling Algorithms [J] . Christian Naesseth, Francisco Ruiz, Scott Linderman, JMLR: Workshop and Conference Proceedings . 2017,第2011期

机译：Reparameterization梯度通过接受抑制采样算法
3. Message-Passing Algorithms: Reparameterizations and Splittings [J] . Ruozzi N., Tatikonda S. IEEE Transactions on Information Theory . 2013,第9期

机译：消息传递算法：重新参数化和拆分
4. A SAT-based algorithm for reparameterization in symbolic simulation [C] . Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening, Annual conference on Design automation;Conference on Design automation . 2004

机译：基于SAT的符号仿真中重新参数化算法
5. Symbolic optimization and the SyOpt system: The application of symbolic mathematics to the design of mathematical optimization algorithms and systems. [D] . Borse, John Edward. 2000

机译：符号优化和SyOpt系统：符号数学在数学优化算法和系统设计中的应用。
6. Reparameterization of Protein Force Field Nonbonded Interactions Guided by Osmotic Coefficient Measurements from Molecular Dynamics Simulations [O] . Mark S. Miller, Wesley K. Lay, Shuxiang Li, -1

机译：分子动力学模拟指导的渗透系数测量指导蛋白质力场非键相互作用的重新参数化
7. A SAT-based algorithm for reparameterization in symbolic simulation [O] . Chauhan, Pankaj, Kroening, Daniel, Clarke, E. M. 2003

机译：基于SAT的符号仿真中重新参数化算法
8. SAT-Based Algorithm for Reparameterization in Symbolic Simulation [R] . Chauhan, P. , Kroening, D. , Clarke, E. 2003

机译：基于saT的符号仿真重新参数化算法

A SAT-based algorithm for reparameterization in symbolic simulation

著录项

引文网络

相似文献

相关主题

期刊订阅